dedekind axiom

英 美
  • 绰金公理